From ec54b2d029b8581f89c08bd4b5f6a0f23912011e Mon Sep 17 00:00:00 2001 From: Julien Grall Date: Wed, 7 Dec 2016 12:33:48 +0000 Subject: [PATCH] xen/arm: vgic-v3: Build vgic-v3.c when CONFIG_HAS_GICV3 is enabled. The vGICv3 depends whether Xen has a host driver for GICv3, not on the architecture (AArch64 vs AArch32). Note CONFIG_HAS_GICV3 is enabled only when for ARM64 build, so there is no functional change. Signed-off-by: Julien Grall Reviewed-by: Stefano Stabellini --- xen/arch/arm/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/xen/arch/arm/Makefile b/xen/arch/arm/Makefile index f165178ab8..59b3b53480 100644 --- a/xen/arch/arm/Makefile +++ b/xen/arch/arm/Makefile @@ -43,7 +43,7 @@ obj-y += time.o obj-y += traps.o obj-y += vgic.o obj-y += vgic-v2.o -obj-$(CONFIG_ARM_64) += vgic-v3.o +obj-$(CONFIG_HAS_GICV3) += vgic-v3.o obj-y += vm_event.o obj-y += vtimer.o obj-y += vpsci.o -- 2.30.2